Verifying Compiler Generation For A Domain Specific Langua..
نویسنده
چکیده
The society is moving away from central mainframe based computing to network based computing to achieve increased performance, sharing of resources, increased extendibility and reliability, availability and fault tolerance[1]. Developing effective distributed systems which are portable, simple, expressive and secured are difficult. Verifying the correctness of such systems is far more challenging.
منابع مشابه
ADL-driven Methodologies for Design Automation of Embedded Processors
This chapter describes various ADL-driven methodologies for the development of efficient and reliable embedded processors. TheADLs designed for a specific domain (such as DSP or VLIW) or for a specific purpose (such as simulation or compilation) can be compact, and it is possible to automatically generate efficient tools and hardwares. However, it is difficult to design an ADL for a wide variet...
متن کاملLet’s Not Forget Validation
As we are moving from a traditional software development process to a new development paradigm where the process it largely driven by tools and automation, new challenges for verification and validation (V&V) emerge. Productivity improvements will in this new paradigm be achieved through reduced emphasis on testing of implementations, increased reliance on automated analysis tools applied in th...
متن کاملPartial Evaluation for Code Generation from Domain-Specific Languages
Partial Evaluation for Code Generation from Domain-Specific Languages
متن کاملMoDeV 2 a : Model Development , Validation and Verification
Model-Driven Software Development brings new hopes and new challenges for the V&V of safetyand mission-critical systems. On the one hand, automated model transformations have the potential to reduce testing effort since a significant amount of code can be autogenerated. On the other hand, for practical systems, the transformations themselves may contain errors and therefore need to be validated...
متن کاملTowards Testing a Verifying Compiler
In this paper, we present our approach on testing a particular verification system that is industrially used to generate mathematical proofs of the correctness of C programs. Normally, the tools used in such a verification process are seldomly verified nor thoroughly tested, and their correctness is taken for granted. Our approach to obtain assurance in such tools does not rely on the knowledge...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004